
html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
    -moz-font-feature-settings: inherit;
    -moz-font-language-override: inherit;
    border: 0 none;
    font-family: inherit;
    font-size: 100%;
    font-size-adjust: inherit;
    font-stretch: inherit;
    font-style: inherit;
    font-variant: inherit;
    font-weight: inherit;
    line-height: inherit;
    margin: 0;
    padding: 0;
    vertical-align: baseline;
}
html {
    line-height: 1;
}
ol, ul {
    list-style: none outside none;
}
table {
    border-collapse: collapse;
    border-spacing: 0;
}
caption, th, td {
    font-weight: 400;
    text-align: left;
    vertical-align: middle;
}
q, blockquote {
    quotes: none;
}
q:before, q:after, blockquote:before, blockquote:after {
    content: none;
}
a img {
    border: medium none;
}
article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section, summary {
    display: block;
}
html {
    font-size: 100.01%;
}
body {
    font-family: "Helvetica Neue",Arial,Helvetica,sans-serif;
    font-size: 87.5%;
    line-height: 1.5;
}
h1 {
    font-size: 3em;
    line-height: 1.1;
    margin-bottom: 0.5em;
}
h2 {
    font-size: 2em;
    line-height: 1.2;
    margin-bottom: 0.75em;
}
h3 {
    font-size: 1.5em;
    line-height: 1.25;
    margin-bottom: 1em;
}
h4 {
    font-size: 1.2em;
    line-height: 1.3;
    margin-bottom: 1.25em;
}
h5 {
    font-size: 1em;
    margin-bottom: 1.5em;
}
h6 {
    font-size: 1em;
}
h1 img, h2 img, h3 img, h4 img, h5 img, h6 img {
    margin: 0;
}
p {
    margin: 0 0 1.5em;
}
blockquote {
    font-style: italic;
    margin: 1.5em;
}
strong, dfn {
    font-weight: 700;
}
em, dfn {
    font-style: italic;
}
sup, sub {
    line-height: 0;
}
abbr, acronym {
    border-bottom-color: #666666;
    border-bottom-width: 1px;
    border-bottom-style: dotted;
}
address {
    font-style: italic;
    margin: 0 0 1.5em;
}
pre {
    margin: 1.5em 0;
    white-space: pre;
}
pre, code, tt {
    font-family: "andale mono","lucida console",monospace;
    font-size: 1em;
    line-height: 1.5;
}
ul, ol {
    margin: 0 1.5em 1.5em 0;
    padding-left: 1.5em;
}
ul {
    list-style-type: disc;
}
ol {
    list-style-type: decimal;
}
dl {
    margin: 0 0 1.5em;
}
dl dt {
    font-weight: 700;
}
dl dd {
    margin-left: 1.5em;
}
table {
    width: 100%;
}
th {
    font-weight: 700;
    text-decoration: underline;
}
th, td {
    padding: 2px 10px 2px 0;
}
body {
    margin: 0;
}
.container {
    margin-left: auto;
    margin-right: auto;
    max-width: 83em;
    overflow: visible;
    padding-left: 1em;
    padding-right: 1em;
    position: relative;
    margin-top: 2em;
    margin-bottom: 2em;
}
.container:after {
    clear: both;
    content: "";
    display: table;
}
.console {
    font-family: "Arvo","andale mono","lucida console",monospace;
    font-weight: 400;
    line-height: 1.2;
    word-spacing: 0.3em;
}
#main {
    display: inline;
    float: left;
    margin-left: 4.21687%;
    margin-right: 4.21687%;
    width: 53.6145%;
}
#main h1:first-child {
    font-weight: 700;
    line-height: 1;
}
#main h2, #main h3 {
    margin-top: 1em;
}
#main pre {
    background-repeat: repeat;
    background-position: 0 0;
    background-image: none;
    background-attachment: scroll;
    border-radius: 4px 4px 4px 4px;
    margin: 1.5em 0;
    overflow: auto;
    padding: 0.5em 1em;
}
#main footer {
    background-repeat: repeat;
    background-position: 0 0;
    background-image: none;
    background-attachment: scroll;
    border-top-width: 1px;
    border-top-style: solid;
    overflow: hidden;
    padding: 1em 10px;
}
#main footer p {
    margin: 0;
}
#main footer p.left {
    display: inline;
    float: left;
}
#main footer p.right {
    display: inline;
    float: right;
}
.grid {
    display: inline;
    float: left;
    margin-right: 1.20482%;
    width: 83.1325%;
}
.grid:after {
    clear: both;
    content: "";
    display: table;
}
.grid .toc-block {
    display: inline;
    float: left;
    margin-right: 2.43902%;
    padding: 1em 0;
    width: 31.7073%;
}
.grid .toc-block:nth-child(3n) {
    float: right;
    margin-right: 0;
}
.grid .toc-block:nth-child(3n+1) {
    clear: left;
}
pre .tex .formula {
    background-repeat: repeat;
    background-position: 0 0;
    background-image: none;
    background-attachment: scroll;
}
.grid {
    display: inline;
    float: left;
    margin-right: 1.20482%;
    width: 100%;
}
.grid .toc-block {
    display: inline;
    float: left;
    margin-right: 1.20482%;
    width: 100%;
}
.grid .toc-block:nth-child(3n) {
    float: left;
    margin-right: 1.20482%;
}
#header h1 {
    left: 1.20482%;
}
#header p {
    text-align: right;
}
#main {
    display: inline;
    float: left;
    margin-right: 1.20482%;
    width: 66.2651%;
}
#header h1 {
    bottom: -22px;
    left: 0;
    width: 180px;
}
#header h1 .logo {
    background-repeat: repeat;
    background-position: 0 0;
    background-image: none;
    background-attachment: scroll;
    border-radius: 0 0 0 0;
    text-align: center;
    width: 100%;
}
#header h1 .logo img {
    bottom: 0;
    height: 180px;
    left: 0;
    position: absolute;
    width: 180px;
}
#header p {
    display: none;
}
#header .toc-nav-link {
    -moz-box-sizing: border-box;
    display: inline;
    float: right;
    font-family: "Arvo","andale mono","lucida console",monospace;
    font-weight: 700;
    margin-right: 0;
    padding: 14px 0 16px;
    text-align: right;
    text-decoration: none;
    width: 41.6667%;
}
#header .toc-nav-link:before {
    font-size: 130%;
    line-height: 1;
    margin-right: 0.5em;
    vertical-align: bottom;
}
#toc {
    display: inline;
    float: right;
    height: 0;
    margin-right: 0;
    overflow: hidden;
    width: 100%;
}
#toc:target {
    height: auto;
    padding: 1em 0 5em;
}
#toc a {
    font-size: 120%;
}
#main {
    display: inline;
    float: left;
    font-size: 100%;
    margin-left: 0;
    margin-right: 1.20482%;
    width: 100%;
}
#main h1 {
    font-size: 3em;
    font-weight: bold;
    margin-bottom: .5em;
}
#main h2 {
    font-size: 2em;
    line-height: 1.2;
    margin-bottom: 0.75em;
}

.nav-list {
    list-style: none;
    margin: 0;
    padding: 0;
}

.nav-list a {
    font-size: 1.4em;
    font-weight: bold;
}
